cos (x-y) derivation